current_prolog_flag(argv,L),nth1(2,L,FILE), [FILE].
current_prolog_flag(argv,L),nth1(3,L,FILE), [FILE].
['symbolic.pro'].
['printmessages.pro'].
['rules.pro'].

current_prolog_flag(argv,L),nth1(4,L,PROTO),nth1(5,L,ROLE),findall((M,REQ),dertable(PROTO,ROLE,M,REQ),KBN), printinternalce(KBN).

print('\n\n').


